Skip to content

feat: Switch GuestOS TEE detection to dfinity.tee kernel cmdline#10047

Open
frankdavid wants to merge 1 commit intomasterfrom
frankdavid/sev_boot_args_guest
Open

feat: Switch GuestOS TEE detection to dfinity.tee kernel cmdline#10047
frankdavid wants to merge 1 commit intomasterfrom
frankdavid/sev_boot_args_guest

Conversation

@frankdavid
Copy link
Copy Markdown
Contributor

  • Replace GuestOS TEE/SEV detection based on the SEV_ACTIVE environment variable with detection based on the dfinity.tee kernel command-line flag which is populated in guestos_boot_args.template. The related host changes were submitted in feat: When available, use TEE-specific kernel cmdline (Host) #9575.
  • The launch measurements now only contain TEE-specific kernel command lines.
  • Rename the shared helper from is_sev_active() to is_tee_enabled() and use the more generic tee instead of sev in the codebase.

…y.tee kernel cmdline

- Replace GuestOS TEE/SEV detection based on the SEV_ACTIVE environment variable with detection based on the dfinity.tee kernel command-line flag which is populated in guestos_boot_args.template. The related host changes were submitted in #9575.
- The launch measurements now only contain TEE-specific kernel command lines.
- Rename the shared helper from is_sev_active() to is_tee_enabled() and use the more generic tee instead of sev in the codebase.
@frankdavid frankdavid requested review from a team as code owners April 28, 2026 16:23
@github-actions github-actions Bot added the feat label Apr 28, 2026
@frankdavid frankdavid changed the title feat: Switch GuestOS TEE detection from SEV_ACTIVE env vars to dfinity.tee kernel cmdline feat: Switch GuestOS TEE detection to dfinity.tee kernel cmdline Apr 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant